THIEMANN, PETER: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Electrostatic discharge directly to the chip surface, caused by automatic post-wafer processing

Peter Jacob, Uwe Thiemann, Joachim C. Reiner

Journal:

Microelectronics Reliability

Year:

2005

Language:

english

File:

PDF, 397 KB

english, 2005

2

The marriage of effects and monads

Wadler, Philip, Thiemann, Peter

Journal:

ACM Transactions on Computational Logic

Year:

2003

Language:

english

File:

PDF, 423 KB

english, 2003

3

Editorial

Olivier Danvy, Oege de Moor, Julian Padget, Peter Thiemann

Journal:

Higher-Order and Symbolic Computation

Year:

2006

Language:

english

File:

PDF, 103 KB

english, 2006

4

Editorial

Olivier Danvy, R. Kent Dybvig, Julia Lawall, Peter Thiemann

Journal:

Higher-Order and Symbolic Computation

Year:

2008

Language:

english

File:

PDF, 96 KB

english, 2008

5

Parameterized LR Parsing

Peter Thiemann, Matthias Neubauer

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 267 KB

english, 2004

6

Editorial

Wei-Ngan Chin, Olivier Danvy, Peter Thiemann

Journal:

Higher-Order and Symbolic Computation

Year:

2004

Language:

english

File:

PDF, 25 KB

english, 2004

7

Predicting survival, reproduction and abundance of polar bears under climate change

Péter K. Molnár, Andrew E. Derocher, Gregory W. Thiemann, Mark A. Lewis

Journal:

Biological Conservation

Year:

2010

Language:

english

File:

PDF, 479 KB

english, 2010

8

Tumour-dendritic hybrid cell vaccination for the treatment of patients with malignant melanoma: immunological effects and clinical results

Uwe Trefzer, Gunda Herberth, Karolina Wohlan, Annett Milling, Max Thiemann, Tumenjargal Sharav, Katrin Sparbier, Wolfram Sterry, Peter Walden

Journal:

Year:

2005

Language:

english

File:

PDF, 125 KB

english, 2005

9

Cellulose-Based Ionogels for Paper Electronics

Thiemann, Stefan, Sachnov, Swetlana J., Pettersson, Fredrik, Bollström, Roger, Österbacka, Ronald, Wasserscheid, Peter, Zaumseil, Jana

Journal:

Advanced Functional Materials

Year:

2014

Language:

english

File:

PDF, 1.76 MB

english, 2014

10

[Lecture Notes in Computer Science] Partial Evaluation Volume 1110 || A roadmap to metacomputation by supercompilation

Danvy, Olivier, Glück, Robert, Thiemann, Peter

Year:

1996

Language:

english

File:

PDF, 1.30 MB

english, 1996

11

High-voltage solar cell modules in simulated low-earth-orbit plasma

THIEMANN, HEINZ, BOGUS, KLAUS-PETER

Journal:

Journal of Spacecraft and Rockets

Year:

1988

Language:

english

File:

PDF, 1.18 MB

english, 1988

12

Corrigendum to “Predicting survival, reproduction and abundance of polar bears under climate change” [Biol. Conserv. 143 (2010) 1612–1622]

Molnár, Péter K., Derocher, Andrew E., Thiemann, Gregory W., Lewis, Mark A.

Journal:

Biological Conservation

Year:

2014

Language:

english

File:

PDF, 236 KB

english, 2014

13

Generation of LR parsers by partial evaluation

Sperber, Michael, Thiemann, Peter

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2000

Language:

english

File:

PDF, 402 KB

english, 2000

14

Combining behavioural types with security analysis

Bartoletti, Massimo, Castellani, Ilaria, Deniélou, Pierre-Malo, Dezani-Ciancaglini, Mariangiola, Ghilezan, Silvia, Pantovic, Jovanka, Pérez, Jorge A., Thiemann, Peter, Toninho, Bernardo, Vieira, Hugo

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2015

Language:

english

File:

PDF, 1.11 MB

english, 2015

15

[Lecture Notes in Computer Science] Programming Languages and Systems Volume 9632 || Simulating Cities: A Software Engineering Perspective

Thiemann, Peter

Year:

2016

Language:

english

File:

PDF, 2.56 MB

english, 2016

16

[Lecture Notes in Computer Science] Programming Languages and Systems Volume 9632 ||

Thiemann, Peter

Year:

2016

Language:

english

File:

PDF, 31.75 MB

english, 2016

17

Automated termination analysis for logic programs with cut

SCHNEIDER-KAMP, PETER, GIESL, JÜRGEN, STRÖDER, THOMAS, SEREBRENIK, ALEXANDER, THIEMANN, RENÉ

Journal:

Theory and Practice of Logic Programming

Year:

2010

Language:

english

File:

PDF, 582 KB

english, 2010

18

Erfahrungen bei der spektrometrischen Roheisenanalyse

Schmitz, Karl-Heinz, Thiemann, Erwin, Jaensch, Peter, Buchner, Hans-Werner

Journal:

Archiv für das Eisenhüttenwesen

Year:

1980

Language:

german

File:

PDF, 435 KB

german, 1980

19

Die Bestimmung kleiner Schwefelgehalte bei der Produktionskontrolle von Röhrenstählen

König, Paul, Schmitz, Karl-Heinz, Thiemann, Erwin, Jaensch, Peter

Journal:

Archiv für das Eisenhüttenwesen

Year:

1976

Language:

german

File:

PDF, 603 KB

german, 1976

20

Neue und bemerkenswerte Flechtenfunde in Thüringen

Grünberg, Hagen, Cezanne, Rainer, Eckstein, Jan, Eichler, Marion, Kempf, Hartmut, Meinunger, Ludwig, Preussing, Markus, Putzmann, Frank, Scholz, Peter, Thiel, Hjalmar, Thiemann, René, Hentschel, Jörn

Journal:

Year:

2017

File:

PDF, 1.85 MB

2017

21

Drawing Syntax Diagrams in Haskell

PETER J. THIEMANN

Journal:

Software: Practice and Experience

Year:

1997

Language:

english

File:

PDF, 109 KB

english, 1997

22

Derivate des Methylendioxybenzols, 31. Darstellung und Reaktionen der 2.3-Methylendioxy-benzoesäure (o-Piperonylsäure)

Franz Dallacker, Erwin Thiemann, Peter Uddrich

Journal:

European Journal of Inorganic Chemistry

Year:

1971

File:

PDF, 436 KB

1971

23

Vaccination with hybrids of tumor and dendritic cells induces tumor-specific T-cell and clinical responses in melanoma stage III and IV patients

Uwe Trefzer, Gunda Herberth, Karolina Wohlan, Annett Milling, Max Thiemann, Tumenjargal Sherev, Katrin Sparbier, Wolfram Sterry, Peter Walden

Journal:

International Journal of Cancer

Year:

2004

Language:

english

File:

PDF, 1.12 MB

english, 2004

24

Enhancement of Radiation Response in Osteosarcoma and Rhabomyosarcoma Cell Lines by Histone Deacetylase Inhibition

Claudia Blattmann, Susanne Oertel, Volker Ehemann, Markus Thiemann, Peter E. Huber, Marc Bischof, Olaf Witt, Hedwig E. Deubzer, Andreas E. Kulozik, Jürgen Debus, Klaus-J. Weber

Journal:

International Journal of Radiation Oncology*Biology*Physics

Year:

2010

Language:

english

File:

PDF, 738 KB

english, 2010

25

Syntactic Type Soundness for the Region Calculus

Simon Helsen, Peter Thiemann

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 193 KB

english, 2001

26

Correctness of a Region-Based Binding-Time Analysis

Peter J. Thiemann

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1997

Language:

english

File:

PDF, 1.30 MB

english, 1997

27

Monadic Type Systems: Pure Type Systems for Impure Settings (Preliminary Report)

Gilles Barthe, John Hatcliff, Peter Thiemann

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1998

Language:

english

File:

PDF, 3.30 MB

english, 1998

28

Preface: Volume 75

Gilles Barthe, Peter Thiemann

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 46 KB

english, 2003

29

Combination of suberoylanilide hydroxamic acid with heavy ion therapy shows promising effects in infantile sarcoma cell lines

Susanne Oertel, Markus Thiemann, Karsten Richter, Klaus-J Weber, Peter E Huber, Ramon Lopez Perez, Stephan Brons, Marc Bischof, Andreas E Kulozik, Volker Ehemann, Jürgen Debus, Claudia Blattmann

Journal:

Radiation Oncology

Year:

2011

Language:

english

File:

PDF, 640 KB

english, 2011

30

Bronchial hyperreactivity and history of wheezing in children

Matthias Wjst, Sigrid Dold, Gabi Roell, Peter Reitmeir, Christian Fritzsch, Erika Mutius, Hans-Heinrich Thiemann

Journal:

European Journal of Pediatrics

Year:

1994

Language:

english

File:

PDF, 608 KB

english, 1994

31

Heterosis in early seed development: a comparative study of F1 embryo and endosperm tissues 6

Stephanie Jahnke, Barbara Sarholz, Alexander Thiemann, Vera Kühr, José F. Gutiérrez-Marcos, Hartwig H. Geiger, Hans-Peter Piepho, Stefan Scholten

Journal:

Theoretical and Applied Genetics

Year:

2010

Language:

english

File:

PDF, 493 KB

english, 2010

32

Adding constants to string rewriting

René Thiemann, Hans Zantema, Jürgen Giesl, Peter Schneider-Kamp

Journal:

Applicable Algebra in Engineering, Communication and Computing

Year:

2008

Language:

english

File:

PDF, 177 KB

english, 2008

33

Morphine self-administration in µ-opioid receptor-deficient mice

Axel Becker, Gisela Grecksch, Rudolf Brödemann, Jürgen Kraus, Brigitte Peters, Helmut Schroeder, Werner Thiemann, Horace H. Loh, Volker Höllt

Journal:

Naunyn-Schmiedeberg's Archives of Pharmacology

Year:

2000

Language:

english

File:

PDF, 129 KB

english, 2000

34

On the Decidability of Subtyping with Bounded Existential Types and Implementation Constraints

Stefan Wehr, Peter Thiemann

Journal:

New Generation Computing

Year:

2011

Language:

english

File:

PDF, 518 KB

english, 2011

35

Mechanizing and Improving Dependency Pairs

Jürgen Giesl, René Thiemann, Peter Schneider-Kamp, Stephan Falke

Journal:

Journal of Automated Reasoning

Year:

2006

Language:

english

File:

PDF, 942 KB

english, 2006

36

Mnemonics: type-safe bytecode generation at run time

Johannes Rudolph, Peter Thiemann

Journal:

Higher-Order and Symbolic Computation

Year:

2010

Language:

english

File:

PDF, 1003 KB

english, 2010

37

Programmable Type Systems for Domain Specific Languages

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 202 KB

english, 2002

38

Gray Matter Alterations in First-Admission Adolescents with Schizophrenia

Romy Henze, Romuald Brunner, Ulf Thiemann, Peter Parzer, Andreas Richterich, Marco Essig, Franz Resch, Bram Stieltjes

Journal:

Journal of Neuroimaging

Year:

2011

Language:

english

File:

PDF, 296 KB

english, 2011

39

Measuring Clinical Information Technology in the ICU Setting: Application in a Quality Improvement Collaborative

Ruben Amarasingham, Peter J. Pronovost, Marie Diener-West, Christine Goeschel, Todd Dorman, David R. Thiemann, Neil R. Powe

Journal:

Journal of the American Medical Informatics Association

Year:

2007

Language:

english

File:

PDF, 470 KB

english, 2007

40

Syntactic Type Soundness Results for the Region Calculus

Cristiano Calcagno, Simon Helsen, Peter Thiemann

Journal:

Information and Computation

Year:

2002

Language:

english

File:

PDF, 206 KB

english, 2002

41

SAT Solving for Termination Proofs with Recursive Path Orders and Dependency Pairs

Michael Codish, Jürgen Giesl, Peter Schneider-Kamp, René Thiemann

Journal:

Journal of Automated Reasoning

Year:

2012

Language:

english

File:

PDF, 673 KB

english, 2012

42

Optimizing structural recursion in functional programs

Peter J Thiemann

Journal:

Computer Languages

Year:

1993

Language:

english

File:

PDF, 761 KB

english, 1993

43

Eager and delayed contract monitoring for call-by-value and call-by-name evaluation

Markus Degen, Peter Thiemann, Stefan Wehr

Journal:

The Journal of Logic and Algebraic Programming

Year:

2010

Language:

english

File:

PDF, 1.32 MB

english, 2010

44

The Optic Radiation and the Cerebellar Peduncles in Adolescents with First-Admission Schizophrenia —A Diffusion Tensor Imaging Study

Romy Henze, Romuald Brunner, Ulf Thiemann, Peter Parzer, Jan Klein, Franz Resch, Bram Stieltjes

Journal:

Journal of Neuroimaging

Year:

2012

Language:

english

File:

PDF, 714 KB

english, 2012

45

Psychosocial characteristics of asthma

Matthias Wjst, Gabriele Roell, Sigrid Dold, Andrea Wulff, Peter Reitmeir, Christian Fritzsch, Valentina Seth, Thomas Nicolai, Erika von Mutius, Helgard Bach, Hans-Heinrich Thiemann

Journal:

Journal of Clinical Epidemiology

Year:

1996

Language:

english

File:

PDF, 655 KB

english, 1996

46

White matter alterations in the corpus callosum of adolescents with first-admission schizophrenia

Romy Henze, Romuald Brunner, Ulf Thiemann, Peter Parzer, Jan Klein, Franz Resch, Bram Stieltjes

Journal:

Neuroscience Letters

Year:

2012

Language:

english

File:

PDF, 285 KB

english, 2012

47

[Lecture Notes in Computer Science] Partial Evaluation Volume 1706 || Type-Directed Partial Evaluation

Hatcliff, John, Mogensen, Torben Æ, Thiemann, Peter

Year:

1999

Language:

english

File:

PDF, 1.74 MB

english, 1999

48

Changes of apolipoprotein A-IV in the human neonate: evidence for different inductions of apolipoproteins A-IV and A-I in the postpartum period

Armin Steinmetz, Peter Czekelius, Elisabeth Thiemann, Sabine Motzny, Hans Kaffarnik

Journal:

Atherosclerosis

Year:

1988

Language:

english

File:

PDF, 808 KB

english, 1988

49

Rapid ecosystem change and polar bear conservation

Derocher, Andrew E., Aars, Jon, Amstrup, Steven C., Cutting, Amy, Lunn, Nick J., Molnár, Péter K., Obbard, Martyn E., Stirling, Ian, Thiemann, Gregory W., Vongraven, Dag, Wiig, Øystein, York, Geoffrey

Journal:

Conservation Letters

Year:

2013

Language:

english

File:

PDF, 196 KB

english, 2013

50

JavaGI

Wehr, Stefan, Thiemann, Peter

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2011

Language:

english

File:

PDF, 2.99 MB

english, 2011